<?php
	echo '<h1>Manuel de l\'explorateur</h1>';
	echo '<p style="text-align:center">';
		echo '<a href="manuel_introduction.php">Introduction</a>';
		echo ' | ';
		echo '<a href="manuel_univers.php">Univers</a>';
		echo ' | ';
		echo '<a href="manuel_chapitres.php">Chapitres</a>';
		echo ' | ';
		echo '<a href="manuel_checkpoints.php">Checkpoints</a>';
		echo ' | ';
		echo '<a href="manuel_charte.php">Charte</a>';
	echo '</p>';
?>
